Automatic generation produced by ISE Eiffel
indexing
description: "MP3-File with features to parse the ID3-TAG"
author: "David Murer"
date: "$Date: 2005/1/24 18:09:00 $"
revision: "0.1.0"
class interface
MP3_FILE
create
make
feature
make (f: STRING)
-- mp3 file make
require else
f_not_void: f /= Void
feature --access
has_id3: BOOLEAN
has_art: BOOLEAN
has_tit: BOOLEAN
read_out_string: STRING
possible_tags: STRING
id3_version: INTEGER
artist: STRING
title: STRING
feature
new_name: STRING
-- gives the name of the file which would be written on the hd, composed of the id3-tag if there is one
ensure
result_not_void: Result /= Void
name_unchanged_implies: Result.is_equal (name) implies artist = Void or title = Void
feature
file_name: STRING
-- gives the file name of the file (not the path)
require
name_not_void: name /= Void
ensure
name_set: Result /= Void
feature
parse
-- find out the properties of the mp3file
feature
minus_seperation
-- divides file_name string into two parts, middlepoint is the minus
invariant
possible_tags_not_empty: possible_tags /= Void and then not possible_tags.is_empty
end -- class MP3_FILE
-- Generated by ISE Eiffel --
For more details: www.eiffel.com